Works by Beeson, Michael J. (exact spelling)

( view other items matching `Beeson, Michael J.`, view all matches )
6 found
Order:
  1.  61
    The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  216
    Derived rules of inference related to the continuity of effective operations.Michael J. Beeson - 1976 - Journal of Symbolic Logic 41 (2):328-336.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  43
    Computerzing Mathematics: Logic and Computation.J. C. Shepherdson & Michael J. Beeson - 1991 - Journal of Symbolic Logic 56 (3):1090.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  73
    R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  36
    Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp. [REVIEW]Michael J. Beeson - 1986 - Journal of Symbolic Logic 51 (2):464-465.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  35
    Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2. [REVIEW]Michael J. Beeson - 1991 - Notre Dame Journal of Formal Logic 32 (2):320-322.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark